Cofinal Maximal Chains in the Turing Degrees
نویسندگان
چکیده
Assuming ZFC, we prove that CH holds if and only if there exists a cofinal maximal chain of order type ω1 in the Turing degrees.
منابع مشابه
Maximal chains in the Turing degrees
We study the problem of existence of maximal chains in the Turing degrees.
متن کاملΠ1-uniformization Principle for Reals
We introduce a Π1-uniformization principle and establish its equivalence with the set-theoretic hypothesis (ω1) = ω1. This principle is then applied to derive the equivalence, to suitable set-theoretic hypotheses, of the existence of Π1 maximal chains and thin maximal antichains in the Turing degrees. We also use the Π1-uniformization principle to study Martin’s conjectures on cones of Turing d...
متن کاملA Π1-uniformization Principle for Reals
We introduce a Π1-uniformization principle and establish its equivalence with the set-theoretic hypothesis (ω1) = ω1. This principle is then applied to derive the equivalence, to suitable set-theoretic hypotheses, of the existence of Π1 maximal chains and thin maximal antichains in the Turing degrees. We also use the Π1-uniformization principle to study Martin’s conjecture on cones of Turing de...
متن کاملSome improvements in fuzzy turing machines
In this paper, we improve some previous definitions of fuzzy-type Turing machines to obtain degrees of accepting and rejecting in a computational manner. We apply a BFS-based search method and some level’s upper bounds to propose a computational process in calculating degrees of accepting and rejecting. Next, we introduce the class of Extended Fuzzy Turing Machines equipped with indeterminacy s...
متن کاملThe number of maximal matchings in polyphenylene chains
A matching is maximal if no other matching contains it as a proper subset. Maximal matchings model phenomena across many disciplines, including applications within chemistry. In this paper, we study maximal matchings in an important class of chemical compounds: polyphenylenes. In particular, we determine the extremal polyphenylene chains in regards to the number of maximal matchings. We also de...
متن کامل